概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题．     

塔架摆杆系统静动态特性研究

为研究航天发射塔架摆杆系统的静动态特性,利用Pro／E建立其三维实体模型,再将模型导入Abaqus中建立其有限元模型并对该塔架摆杆系统进行静、动态分析计算．通过静态分析,得到塔架关键部位的应力及位移值,对其安全性进行了校核;通过动态分析得到其固有频率及振型,与试验所得频率进行对比,验证有限元建模的正确性．     

基于巡逻历史与道路优先级的武警巡逻策略

针对武警巡逻车辆配置问题,引入了Dijkstra最短路径算法、K—means聚类算法以及计算几何的相关理论,建立了一套警车巡逻模型,并提出了评价巡逻效果的量化评价标准。采用Dijkstra与K—means算法解决了静态警车配置问题;针对警车动态巡逻方案的设计,提出了基于巡逻历史与道路优先级的道路概率选择算法,并给出了不同情况下的警车配置以及巡逻方案。通过MATLAB仿真实验,证明了算法及模型的先进性和实用性。     

影响油罐电位的输油参数分析

目前,油库、储运公司改扩建工程较多,不可避免对工艺流程进行调整,依据液体静电产生原理,应用高斯定理和欧姆定律等理论,分析油罐注油过程中油面电位以及时间与管径、流速等各参数之间的关系,针对管径不变流速变化的情况,进行实验分析,在不对管路进行整改,仅对泵进行重新设计优选时,对如何控制罐内电位的安全,提出参考方案,对油库改扩建工程有一定的指导意义。     

扩张状态观测器的观测误差前馈补偿设计

在"总和"扰动模型未知的前提下,针对线性扩张状态观测器跟踪时变信号精度不高的问题,设计出一种前馈观测补偿器。在分析线性扩张状态观测器观测原理的基础上,通过对扰动项的线性近似、误差系统动态响应的忽略,在时域内推导出观测静差的量化表达式,进而使用扰动微分项的估计值替代真值对观测作前馈补偿。理论分析了替代的可行性,证明了补偿器减小观测误差幅值、超前校正观测相位滞后的作用。将这一补偿思想推广至非线性扩张状态观测器中。通过仿真对补偿器提高观测精度、加快误差收敛的有效性进行检验,实验结果进一步表明,补偿器的引入能显著提高整个自抗扰控制系统的控制精度,从而证明了这种补偿思路的可行性。     

灭火弹比药量与灭火效果关系研究

在相同的试验条件下，对采用鼠笼式结构的灭火弹进行了静爆试验，并对采用不同比药量的灭火剂在爆轰作用下抛撒云团的成长过程和灭火效果进行对比分析，得出比药量与灭火效果的关系，最后确定最佳比药量。     

火炸药静电起爆最小发火能量测试方法研究

分析研究了测量火炸药静电起爆最小发火能量的三种方法,并进行了大量的对比试验,提出了首先进行OSTR法试验,然后进行逐步降压法试验,从而得出火炸药静电起爆的最小发火能量。     

SpaceWire网络混合路由机制设计

针对星上系统总线多元性导致的星载网络接口和协议不能标准化的发展瓶颈,基于SpaceWire总线协议,通过将静态路由(时间触发)与动态路由(事件触发)机制结合,实现了控制数据和载荷数据共用网络。静态路由完全遵循SpaceWire-D协议,在保证确定性传输的同时,通过启发式调度算法首次实现了多时间窗并行调度,并提出利用最大公约数法设计时间窗,以提高网络吞吐量;动态路由通过对随机事件和载荷数据分配优先级,实现传输路径冲突时对紧急任务的优先处理。在OPENT中搭建网络系统仿真模型,对所提出的路由机制进行了仿真。实验结果表明,静态路由时段网络吞吐量较现有调度算法有明显提高,动态路由实现了紧急事件优先传输。     

身管内弹道性能改变量的静态标定研究

目前国内外静态标定火炮身管内弹道性能改变量的方法,都存在着原理和精度不高的缺陷。采用多特征截面的标定方法可取得满意的精度,本文论述了其理论基础、精度及应用领域。     

人体静电极端值的分析研究

本文在讨论人体静电定义的基础上,分析各国报导人体静电极端值差异的原因,经理论分析和实验验证,给出人体静电电位的取值范围:10~(-2)～10~5V,并证明人体静电极端值60kV 是可信的.